xm: Extend width of ID in 'xm list' to 5 digits.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Thu, 24 May 2007 14:45:43 +0000 (15:45 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Thu, 24 May 2007 14:45:43 +0000 (15:45 +0100)
commit3023191026e338108daad4e00c2c76fb0c1e1731
tree0555f8bccd85c53625f0fd547e22acaed4c2320e
parent34a0b876d2f89419aa0b3e0b5249128ff7a6b90b
xm: Extend width of ID in 'xm list' to 5 digits.

The Domain ID is currently expected to fit in 3 digits.

When doing extensive testing on SAVE/RESTORE I can easily get ID's
into the 4-digit range, which makes some of the formatting to get out
of sync. Extend the width to 5 digits (and change some %-ns to %ns, as
the ID for example is right justified, %-ns is left-justified, which
didn't look too good).

Signed-off-by: Mats Petersson <mats.petersson@amd.com>
tools/python/xen/xm/main.py